Hypothetical Temporal Reasoning with History Encoding (extended Abstract)

Hypothetical Temporal Reasoning with History Encoding

In this paper we integrate a history{encoding based methodology developed by Chomicki for checking dynamic database integrity constraints into a situation-calculus based speciication of database updates as proposed by Reiter. By doing this, we are able to: (1) Answer queries about a whole hypothetical evolution of a database, without having to update the entire database and keep the information...

Argumentation with Defeasible Conditionals: a Preliminary Report (extended Abstract)

This paper investigates the relation between logics for defeasible conditionals and systems for defeasible argumentation. Starting from the assumption that the construction of arguments and the comparison of incompatible arguments are independent phenomena, it is argued that connict resolution plays a role not only in reasoning with, but also in reasoning about defaults. Since in the latter pha...

The Application of Qualitative Spatial Reasoning to Gis (extended Abstract)

Database Programming with Delayed Updatesy

\You cannot step twice into the same river; for fresh waters are ever owing in upon you." Heraclitus, circa. 500 B.C. Abstract There are a variety of advanced database features which require the ability to manipulate \virtual" database states along with the actual stored state; examples of this include rule-based triggers in active databases, support for hypothetical reasoning, and some concurr...

Mixed Qualitative/Quantitative Dynamic Simulation of Processing Systems

In this article the methodology proposed by Li and Wang for mixed qualitative and quantitative modeling and simulation of temporal behavior of processing unit is reexamined and extended to more complex case. The main issue of their approach considers the multivariate statistics of principal component analysis (PCA), along with clustered fuzzy digraphs and reasoning. The PCA and fuz...